n=25; s=17; edge=[|1,3,2| 2,3,3| 3,4,6| 4,5,8| 4,6,5| 4,7,2| 7,8,4| 9,10,4| 10,11,3| 10,12,3| 12,13,2| 12,14,5| 13,25,1| 14,15,3| 14,19,4| 15,16,3| 15,17,6| 15,18,3| 19,20,3| 19,21,2| 21,22,1| 21,23,3| 21,24,1| 8,9,13|];